Quality Assurance of Models for Autocoding
نویسندگان
چکیده
Automatic Code Generation is an emerging technology that holds great promise for future generations of embedded systems. However, ACG raises many fundamental questions about model and code quality. A series of experiments promise to provide an enhanced approach to Software Quality Assurance in order to allow autocoding to become a trusted industrial solution for on board space software.
منابع مشابه
The Uniqueness of the Overall Assurance Interval for Epsilon in DEA Models by the Direction Method
The role of non-Archimedean in the DEA models has been clarified, so that the associatedlinear programs can be infeasible (for the multiplier side) and unbounded (for theenvelopment side) with an unsuitable choice of . This paper shows that the overallassurance interval for in DEA models is unique by the concept of extreme directions. Also,it presents an assurance value for using only s...
متن کاملKey Factors for Defining the Conceptual Framework for Quality Assurance in E-Learning
E-learning has evolved for more than a decade, and universities are gradually embracing e-learning to provide more learning experience for their learners. E-learning is the use of electronic means through which training is received and obtained. E-learning offers a wide range of advantages (time and room mobility, cost-effectiveness, etc.) and also overcomes the limitations of digital learning ...
متن کاملQuality assurance prusedore in high dose rate bracythrapy
Introduction: Quality assurance is essential for obtaining the best achievable tumor control, avoiding unnecessary side effects, accuracy and safety during performing High Dose Rate (HDR) Brachytherapy (BT). Quality assurance is extremely important because HDR BT procedures are performed quickly, with high doses given in a short time period, with little opportunity for correcti...
متن کاملپایش مدیریت عملکرد آزمایشگاه های بالینی بیمارستانها براساس شاخصهای تضمین کیفیت در چهارچوب دستورالعمل های سیستم ایزو
Background: Quality assurance is a prevention-oriented system that can be used to improve the quality of care, increase productivity and monitor the performance management in clinical laboratories. ISO 9001: 2000 requirements are a collection of management and technical systems designed to implement quality assurance and monitor performance management in organizations. Methods: A checklist...
متن کاملA Comparative Study on Instrumental Precision of Refrigerated and Non-Refrigerated Auto-Analyzers in Order to Improve Quality Assurance in Biochemistry Laboratory
Background and Objective: Quality control is one of the most important components in order to improve quality assurance in laboratories during analytical steps. For this purpose, coefficient of variation plays an important role. Due to the fast improvement in technology, application of inferential statistics for the comparisons ...
متن کامل